A Game for Linear-time–Branching-time Spectroscopy
نویسندگان
چکیده
Abstract We introduce a generalization of the bisimulation game that can be employed to find all relevant distinguishing Hennessy–Milner logic formulas for two compared finite-state processes. By measuring use expressive powers, we adapt formula generation just yield belonging coarsest behavioral preorders/equivalences from linear-time–branching-time spectrum. The induced algorithm determine best fit (in)equivalences pair
منابع مشابه
The Linear Quadratic Dynamic Game for Discrete-Time Descriptor Systems
The linear quadratic zero-sum dynamic game for discrete time descriptor systems is considered. A method, which involves solving a linear quadratic zero-sum dynamic game for a reduced-order discrete time state space system, is developed to nd the linear feedback saddle-point solutions of the problem. Checkable conditions, which are described in terms of two dual algebraic Riccati equations and a...
متن کاملa time-series analysis of the demand for life insurance in iran
با توجه به تجزیه و تحلیل داده ها ما دریافتیم که سطح درامد و تعداد نمایندگیها باتقاضای بیمه عمر رابطه مستقیم دارند و نرخ بهره و بار تکفل با تقاضای بیمه عمر رابطه عکس دارند
A Game Semantics for Linear Logic
Blass, A., A game semantics for linear logic, Annals of Pure and Applied Logic 56 (1992) 183-220. We present a game (or dialogue) semantics in the style of Lorenzen (1959) for Girard’s linear logic (1987). Lorenzen suggested that the (constructive) meaning of a proposition 91 should be specified by telling how to conduct a debate between a proponent P who asserts p and an opponent 0 who denies ...
متن کاملa new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
15 صفحه اولDelay-Dependent Robust Asymptotically Stable for Linear Time Variant Systems
In this paper, the problem of delay dependent robust asymptotically stable for uncertain linear time-variant system with multiple delays is investigated. A new delay-dependent stability sufficient condition is given by using the Lyapunov method, linear matrix inequality (LMI), parameterized first-order model transformation technique and transformation of the interval uncertainty in to the norm ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Lecture Notes in Computer Science
سال: 2021
ISSN: ['1611-3349', '0302-9743']
DOI: https://doi.org/10.1007/978-3-030-72016-2_1